Using eternity variables to specify and prove a serializable database interface
نویسندگان
چکیده
منابع مشابه
Using eternity variables to specify and prove a serializable database interface
Eternity variables are introduced to specify and verify serializability of transactions of a distributed database. Eternity variables are a new kind of auxiliary variables. They do not occur in the implementation but are used in specification and verification. Elsewhere it has been proved that eternity variables in combination with history variables are semantically complete for proving refinem...
متن کاملEternity Variables to Simulate Specifications
Simulation of specifications is introduced as a unification and generalization of refinement mappings, history variables, forward simulations, prophecy variables, and backward simulations. Eternity variables are introduced as a more powerful alternative for prophecy variables and backward simulations. This formalism is semantically complete: every simulation is a composition of a forward simula...
متن کاملUsing a Database Query Language to Specify and Generate Spreadsheets
Experimental studies have pointed out that operational spreadsheets contain a lot of errors, mostly due to the lack of abstraction offered by existing spreadsheet programs. In this paper, we consider the specification of a spreadsheet using a database query language and the generation of the corresponding running spreadsheet. We present a technique to perform this generation automatically, allo...
متن کاملinterface to an image database using a
In the QBIC (Query By Image Content) project we are studying methods to query large on-line image databases using the images' content as the basis of the queries. Examples of the content we use include color, texture, and shape of image objects and regions. Potential applications include medical (\Give me other images that contain a tumor with a texture like this one"), photo-journalism (\Give ...
متن کاملA Dutch to SQL database interface using Generalized Quantifier Theory
This paper presents the treatment, of quantitication as it was imI)lemented in a prototyl)c of a natural language relational database interface for l)utch 1. It is shown how the theoretical 'generalized (tuantifier' apl ) ; t ra t l t s introduced in formM semantics by Barwise and (]oot)er can be I, uned to irrq)lementational feasi" ( bility. ( ,ompm ~d to the t, raditional tl'(~atl'flellt of (...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2004
ISSN: 0167-6423
DOI: 10.1016/j.scico.2003.06.001